type Foo = private A | B
